MRTN-CT-2004-512234 MODNET Model Theory and Applications MIII.2: Results on o-minimal cohomology and jet o-minimality and progress report on reals with exponentiation
نویسنده
چکیده
Dissemination in level PU Public PP Restricted to other programme participants (including the Commission Services) RE Restricted to a group specified by the consortium (including the Commission Services) CO Confidential, only for members of the consortium (including the Commission Services)
منابع مشابه
Notes on o-minimality and variations
The article surveys some topics related to o-minimality, and is based on three lectures. The emphasis is on o-minimality as an analogue of strong minimality, rather than as a setting for the model theory of expansions of the reals. Section 2 gives some basics (the Monotonicity and Cell Decomposition Theorems) together with a discussion of dimension. Section 3 concerns the Peterzil–Starchenko Tr...
متن کاملNotions of Bisimulation for Heyting-Valued Modal Languages
We examine the notion of bisimulation and its ramifications, in the context of the family of Heyting-valued modal languages introduced by M. Fitting. Each modal language in this family is built on an underlying space of truth values, a Heyting algebra H. All the truth values are directly represented in the language, which is interpreted on relational frames with an H-valued accessibility relati...
متن کاملSemiabelian varieties over separably closed fields, maximal divisible subgroups, and exact sequences
Given a separably closed field K of characteristic p > 0 and finite degree of imperfection we study the ♯-functor which takes a semiabelian variety G over K to the maximal divisible subgroup of G(K). Our main result is an example where G♯, as a “type-definable group” in K, does not have “relative Morley rank”, yielding a counterexample to a claim in [Hr]. Our methods involve studying the questi...
متن کاملDefinable Structures in O-minimal Theories: One Dimensional Types
Let N be a structure definable in an o-minimal structureM and p ∈ SN (N), a complete N -1-type. If dimM(p) = 1 then p supports a combinatorial pre-geometry. We prove a Zilber type trichotomy: Either p is trivial, or it is linear, in which case p is non-orthogonal to a generic type in an N -definable (possibly ordered) group whose structure is linear, or, if p is rich then p is non-orthogonal to...
متن کاملDigital cohomology groups of certain minimal surfaces
In this study, we compute simplicial cohomology groups with different coefficients of a connected sum of certain minimal simple surfaces by using the universal coefficient theorem for cohomology groups. The method used in this paper is a different way to compute digital cohomology groups of minimal simple surfaces. We also prove some theorems related to degree properties of a map on digital sph...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007